Abstract logic - PDFSEARCH.IO - Document Search Engine

Abstract logic
Results: 1693

#	Item
411	The Premiss-Based Approach to Judgment Aggregation Franz Dietrich & Philippe Mongin December 2007 Abstract We investigate judgment aggregation by assuming that some formulas of the Add to Reading List Source URL: personal.lse.ac.uk Language: English - Date: 2008-01-31 05:56:33 Model theory Propositional calculus Semantics Order theory Boolean algebra Interpretation Filter Logic Mathematical logic Mathematics
412	An Abstract Completion Procedure for Cut Elimination in Deduction Modulo LICS 2006 Guillaume Burel + Claude Kirchner ´ LORIA × (Ecole Add to Reading List Source URL: www.ensiie.fr Language: English - Date: 2015-01-06 05:29:08 Mathematics Cut-elimination theorem Sequent calculus Sequent Gerhard Gentzen Natural deduction Proof theory Mathematical logic Logic
413	97th Peripatetic Seminar on Sheaves and Logic at the Université catholique de Louvain, on the occasion of Rudger Kieboom’s 65th birthday Saturday 31st January:00 Registration Chair: Borceux 9:30 Janelidze: “H Add to Reading List Source URL: sites.uclouvain.be Language: English - Date: 2015-01-27 10:24:47 Monoidal categories Homotopy theory Algebraic structures Adjoint functors Monad Hopf algebra Algebraic topology Monoid Crossed module Abstract algebra Algebra Category theory
414	We start with the module header: module Agda where open import Relation.Binary.PropositionalEquality open ≡-Reasoning open import Data.Function using (_◦_) This is the identity function: Add to Reading List Source URL: www.andres-loeh.de Language: English - Date: 2015-03-03 07:36:01 Universal quantification Associative property Type Logic Mathematics Abstract algebra Quantification
415	Twelf Carsten Sch¨ urmann ∗ Department of Computer Science Yale University Add to Reading List Source URL: www.itu.dk Language: English - Date: 2002-08-02 07:15:47 Type theory Logic in computer science Dependently typed programming Formal methods Lambda calculus Twelf Higher-order abstract syntax Logical framework Frank Pfenning Theoretical computer science Mathematics Programming language theory
416	TERMINATION FOR HYBRID TABLEAUS THOMAS BOLANDER AND PATRICK BLACKBURN Abstract. This article extends and improves work on tableau-based decision methods for hybrid logic by Bolander and Bra¨ uner [5]. Their paper gives Add to Reading List Source URL: www.imm.dtu.dk Language: English - Date: 2007-04-02 08:29:00 Formal languages Logical syntax Philosophical logic Method of analytic tableaux Interpretation Entailment Modal logic Model theory Symbol Logic Metalogic Propositional calculus
417	Models and termination of proof-reduction in the λΠ-calculus modulo theory Gilles Dowek∗ Abstract We define a notion of model for the λΠ-calculus modulo theory, a notion of superconsistent theory, and prove that pr Add to Reading List Source URL: who.rocq.inria.fr Language: English - Date: 2014-10-09 11:42:35 Mathematical logic Symbol Model theory Function Interpretation Heyting algebra Natural deduction Mathematics Logic Metalogic
418	A Survey of Residuated Lattices P. Jipsen and C. Tsinakis Abstract. Residuation is a fundamental concept of ordered structures and categories. In this survey we consider the consequences of adding a residuated monoid ope Add to Reading List Source URL: www1.chapman.edu Language: English - Date: 2003-04-01 18:18:05 Algebraic structures Lattice theory Fuzzy logic Algebraic logic Mathematical logic Residuated lattice Heyting algebra Relation algebra Lattice Abstract algebra Mathematics Logic
419	Integrated Logic Systems Part 1: Deduction Systems This part is concerned with the design and use of various deduction systems: Prolog Tableaux-Prover Add to Reading List Source URL: www.cs.bath.ac.uk Language: English - Date: 2012-01-04 14:04:47 Computer programming Prolog Warren Abstract Machine Unification Backtracking Answer set programming B-Prolog Logic programming Software engineering Computing
420	Biased modality and epistemic weakness with the future and MUST: non veridicality, partial knowledge Anastasia Giannakidou and Alda Mari University of Chicago and Institut Jean Nicod, CNRS January 4, 2015 Abstract Add to Reading List Source URL: cas.uchicago.edu Language: English - Date: 2015-01-15 21:17:25 Logic Modal logic Pragmatics Inference Veridicality Linguistic modality Epistemic modality Modal verb Modal operator Linguistics Grammar Grammatical moods

UPDATE